Parallel Algorithms for Fast Fourier Transformation Using PowerList , ParList and PList Theories (Research Note)
نویسنده
چکیده
Data structures PowerList, ParList and PList are efficient tools for functional descriptions of parallel programs, that are divide and conquer in nature. PowerList data structures were introduced by J. Misra, and then, J. Kornerup extend these structures to ParList and PList structures. In the introduction of this article these theories are briefly explained. The goal of this work is to develop three parallel variants for Fast Fourier Transformation, using these theories. The variants are implied by the coefficients number of the polynomial, which can be a power of two, a prime number, or a product of prime factors. The last variant, includes the first two, and represents a general and efficient parallel algorithm for Fast Fourier Transformation. This general algorithm has a very good time complexity and can be mapped on a recursive interconnected network.
منابع مشابه
PARES – A Model for Parallel Recursive Programs
PowerList, ParList, and PList theories and their multidimensional extensions PowerArray, ParArray, and PArray are well suited to express recursive, data-parallel algorithms. Their abstractness is very high and assures simple and correct design of parallel programs. Base on these theories we define a model of parallel computation with a very high level of abstraction – PARES (Parallel Recursive ...
متن کاملMechanically Verifying the Correctness of the Fast Fourier Transform in ACL2
In [10], Misra introduced the powerlist data structure, which is well suited to express recursive, data-parallel algorithms. In particular, Misra showed how powerlists could be used to give simple descriptions to very complex algorithms, such as the Fast Fourier Transform (FFT). Such simplicity in presentation facilitates reasoning about the resulting algorithms, and in fact Misra was able to g...
متن کاملReducing Interpolation on Multi-Grid to Quantizing Grid's Data-Base as a Recursion
In his article “Powerlist: A Structure for Parallel Recursion” Jayadev Misra wrote: “Many data parallel algorithms – Fast Fourier Transform, Batcher’s sorting schemes and prefix sum – exhibit recursive structure. We propose a data structure, powerlist, that permits succinct descriptions of such algorithms, highlighting the roles of both parallelism and recursion. Simple algebraic properties of ...
متن کاملMechanically Verifying Real-valued Algorithms in Acl2
ACL2 is a theorem prover over a total, rst-order, mostly quantiier-free logic, supporting deened and constrained functions, equality and congruence rewriting, induction, and other reasoning techniques. Based on the Boyer-Moore theorem prover, ACL2 manages to retain much of the avor of its predecessor, while providing a large number of enhancements, one of which is the direct support of rational...
متن کاملDetermination of Riboflavin by Nanocomposite Modified Carbon Paste Electrode in Biological Fluids Using Fast Fourier Transform Square Wave Voltammetry
Herein, fast Fourier transformation square-wave voltammetry (FFT-SWV) as a novel electrochemical determination technique was used to investigate the electrochemical behavior and determination of Riboflavin at the surface of a nanocomposite modified carbon paste electrode. The carbon paste electrode was modified by nanocomposite containing Samarium oxide (Sm2O3)/reduced gra...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002